Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
541	TABLE OF CONTENTS ✦ ✦ ✦ ✦ Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:24:43 Mathematical logic Automata theory Formal languages Computability theory Algorithm Finite-state machine Regular expression Recursion First-order logic Mathematics Theoretical computer science Logic
542	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
543	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
544	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
545	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
546	Section 14.2 A Hierarchy of Languages Context-Sensitive Languages A context-sensitive grammar has productions of the form xAz → xyz, where A is a nonterminal and x, y, z are strings of grammar symbols with y ≠ Λ. Th Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-12-18 13:22:30 Mathematics Applied mathematics Computability theory Complexity classes Recursively enumerable language Unrestricted grammar Computability Linear bounded automaton Context-sensitive language Formal languages Theoretical computer science Theory of computation
547	World Socialist Web Site wsws.org The Imitation Game: “Am I a machine? Am I a war hero? Am I a criminal?” Add to Reading List Source URL: intsse.com Language: English Theoretical computer science Computability theory Models of computation Turing machine Theory of computation Andrew Hodges Turing Bletchley Park Enigma Alan Turing British people United Kingdom
548	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein fun Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Computer law Copyleft Recursion Creative Commons Lambda calculus Quicksort Computer programming Computing Open content
549	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics
550	Self-Reproduction Lecture Notes. Marvin Minsky, Nov. 18, 2003 Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:13 Computer virus Cultural anthropology Computability theory Models of computation Virus Cellular automaton Meme Brain John von Neumann Science Mathematics Cognition

UPDATE